Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
331	Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N-1751 Halden, Norway [removed] Abstract. Operator procedures are documents telling operators what Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Applied mathematics Logic in computer science Concurrency Concurrent computing Model checking Formal verification Promela Verification and validation Computing Theoretical computer science Model checkers
332	Concurrent Hierarchical Reinforcement Learning Bhaskara Marthi, Stuart Russell, David Latham Computer Science Division University of California Berkeley, CA 94720 {bhaskara,russell,latham}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-04-15 21:04:50 Concurrency control Concurrency Reinforcement learning Markov decision process Thread Q-learning Monitor Deadlock SARSA Statistics Computing Mathematics
333	Practice of Programming using Java Lecture 8 June 29, 2006. 68 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-06-29 12:59:52 Concurrent computing Software design patterns Lock Java Futures and promises Producer-consumer problem Computing Concurrency control Computer programming
334	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
335	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
336	GT-VMT[removed]A satellite event of Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2009-10-19 09:08:31 Modeling language Distributed computing Mathematics Computer science Abstraction Graph rewriting Scientific modeling Concurrency
337	How to model behavioural and cognitive complexity in human-computer interaction with Petri nets M. Rauterberg, S. Schluep and M. Fjeld Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:37 Cognitive science Scientific modeling Concurrency Petri net Goal setting Task analysis Software development process Mental model Model Science Cognitive psychology Ethology
338	Goal setting mechanism in Petri net models of human decision making M. Rauterberg, M. Fjeld, and S. Schluep Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:34 Diagrams Petri net Behavior Mind Finite-state machine Actor model Motivation Computer science Goal setting Models of computation Cognition Concurrency
339	Massachusetts Institute of Technology, Cambridge, Massachusetts Laboratory for Computer Science Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2009-07-13 10:50:08 Transaction processing Data management Concurrency control Object-oriented programming Databases CLU Linearizability Serializability Barbara Jane Liskov Computing Software engineering Computer programming
340	RC24504 (W0802-087) February 22, 2008 Computer Science Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2010-07-16 17:06:51 Computer programming Software engineering Garbage collection Mutator Objective-C Pointer Non-blocking algorithm Real time Java Linearizability Computing Concurrency control Memory management

UPDATE